A New Example of a Minimal Nonfinitely Based Semigroup
نویسندگان
چکیده
Only three of the 15 973 distinct six-element semigroups are presently known to be nonfinitely based. This paper introduces a fourth example. 2010 Mathematics subject classification: primary 20M07.
منابع مشابه
The Semigroups B2 and B0 are Inherently nonfinitely Based, as restriction Semigroups
The five-element Brandt semigroup B2 and its four-element subsemigroup B0, obtained by omitting one nonidempotent, have played key roles in the study of varieties of semigroups. Regarded in that fashion, they have long been known to be finitely based. The semigroup B2 carries the natural structure of an inverse semigroup. Regarded as such, in the signature {·,−1 }, it is also finitely based. It...
متن کاملSlim Groupoids
Slim groupoids are groupoids satisfying x(yz) ≈ xz. We find all simple slim groupoids and all minimal varieties of slim groupoids. Every slim groupoid can be embedded into a subdirectly irreducible slim groupoid. The variety of slim groupoids has the finite embeddability property, so that the word problem is solvable. We introduce the notion of a strongly nonfinitely based slim groupoid (such g...
متن کاملInherently Nonfinitely Based Solvable Algebras
We prove that an inherently nonfinitely based algebra cannot generate an abelian variety. On the other hand, we show by example that it is possible for an inherently nonfinitely based algebra to generate a strongly solvable variety.
متن کاملRelatively Inherently Nonfinitely Q-based Semigroups
We prove that every semigroup S whose quasivariety contains a 3-nilpotent semigroup or a semigroup of index more than 2 has no finite basis for its quasi-identities provided that one of the following properties holds: • S is finite; • S has a faithful representation by injective partial maps on a set; • S has a faithful representation by order preserving maps on a chain. As a corollary it is sh...
متن کاملInherently nonfinitely based lattices
We give a general method for constructing lattices L whose equational theories are inherently nonfinitely based. This means that the equational class (that is, the variety) generated by L is locally finite and that L belongs to no locally finite finitely axiomatizable equational class. We also provide an example of a lattice which fails to be inherently nonfinitely based but whose equational th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011